第四届全国形式化方法与应用会议（FMAC 2019）
11月30日-12月1日 上海
第四届全国形式化方法与应用会议（FMAC 2019）
会议编号：CCF-19-TC34-01N
主办：中国计算机学会（CCF）
承办：CCF形式化方法专委会
上海交通大学
联系：傅育熙 fu-yx@cs.sjtu.edu.cn
<<< 上一篇
无
<<< 下一篇 无
